Verifying Each Computing Path of a Quantum Calculation for Correctness | NextBigFuture.com

researchers from MIT, Google, and elsewhere have designed a system that can verify when quantum chips have accurately performed complex computations that classical computers can’t. They trace each computing path for correct behavior. This modular verification reduces the complexity of validation and speeds up verification. This will speed up validated quantum chip design and speed up checking on experiments. Full-scale error-corrected quantum computers will require millions of qubits. In the past few years, researchers have started developing “Noisy Intermediate Scale Quantum” (NISQ) chips, which contain around 50 to 100 qubits. This is enough to demonstrate “quantum advantage,” meaning the NISQ